nested vmx: expose bit 55 of IA32_VMX_BASIC_MSR to guest VMM
authorDongxiao Xu <dongxiao.xu@intel.com>
Thu, 6 Dec 2012 16:53:57 +0000 (16:53 +0000)
committerDongxiao Xu <dongxiao.xu@intel.com>
Thu, 6 Dec 2012 16:53:57 +0000 (16:53 +0000)
commitbb9bcedf8eaf1580be6a54333cec1473a820a5ac
treef8aaef51f1339d0d1f8ce3138772a446350b548e
parent075635cf5cc061050b0be28139216cb9ee5d2ed4
nested vmx: expose bit 55 of IA32_VMX_BASIC_MSR to guest VMM

Besides, use literal name instead of hard numbers for this bit 55 in
IA32_VMX_BASIC_MSR.

Signed-off-by: Dongxiao Xu <dongxiao.xu@intel.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
Committed-by: Keir Fraser <keir@xen.org>
xen/arch/x86/hvm/vmx/vmcs.c
xen/arch/x86/hvm/vmx/vvmx.c
xen/include/asm-x86/hvm/vmx/vmcs.h